翻訳と辞書
Words near each other
・ Resistance in Lithuania during World War II
・ Resistance Inside the Army
・ Resistance International
・ Resistance Is Futile (Dexter)
・ Resistance Medal
・ Resistance Memorial Cross
・ Resistance movement
・ Resistance movement in Auschwitz
・ Residual value
・ Residual-current device
・ Residual-excited linear prediction
・ Residual-resistance ratio
・ Residually finite group
・ ResidualVM
・ Residuary estate
Residuated Boolean algebra
・ Residuated lattice
・ Residuated mapping
・ Residue
・ Residue (chemistry)
・ Residue (complex analysis)
・ Residue at infinity
・ Residue curve
・ Residue depth
・ Residue field
・ Residue Hymns
・ Residue numeral system
・ Residue of The Residents
・ Residue theorem
・ Residue-class-wise affine group


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Residuated Boolean algebra : ウィキペディア英語版
Residuated Boolean algebra
In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given alphabet Σ under concatenation, the set of all binary relations on a given set ''X'' under relational composition, and more generally the power set of any equivalence relation, again under relational composition. The original application was to relation algebras as a finitely axiomatized generalization of the binary relation example, but there exist interesting examples of residuated Boolean algebras that are not relation algebras, such as the language example.
==Definition==
A residuated Boolean algebra is an algebraic structure (''L'', ∧, ∨, ¬, 0, 1, •, I, \, /) such that
: (i) (''L'', ∧, ∨, •, I, \, /) is a residuated lattice, and
:(ii) (''L'', ∧, ∨, ¬, 0, 1) is a Boolean algebra.
An equivalent signature better suited to the relation algebra application is (''L'', ∧, ∨, ¬, 0, 1, •, I, ▷, ◁) where the unary operations ''x''\ and ''x''▷ are intertranslatable in the manner of De Morgan's laws via
:''x''\''y'' = ¬(''x''▷¬''y''),   ''x''▷''y'' = ¬(''x''\¬''y''),   and dually /''y'' and ◁''y'' as
: ''x''/''y'' = ¬(¬''x''◁''y''),   ''x''◁''y'' = ¬(¬''x''/''y''),
with the residuation axioms in the residuated lattice article reorganized accordingly (replacing ''z'' by ¬''z'') to read
:(''x''▷''z'')∧''y'' = 0   ⇔   (''x''•''y'')∧''z'' = 0   ⇔   (''z''◁''y'')∧''x'' = 0
This De Morgan dual reformulation is motivated and discussed in more detail in the section below on conjugacy.
Since residuated lattices and Boolean algebras are each definable with finitely many equations, so are residuated Boolean algebras, whence they form a finitely axiomatizable variety.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Residuated Boolean algebra」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.